>>522
それって、破片が斜辺より長い証明はできなくないか?