>>340
既知の結果と、証明できてない部分は省くんだよ?