이는 소쇼우신과 유키가 증명