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