なので
>>418で指摘した部分は証明としてアウト