>>440
今ある証明は大学生にも難しい
今後も(今の)高校範囲で理解できる証明は出ないと思う