>>14
>>13 が正しいか、正しいならその証明です