証明は別冊にすればいいんじゃね?