>>16
10はMathlogにある証明に関してだ