>>963
>>962

で、証明まだ?