>>913
論理による証明は既に終わってるが？
理解できてないなら最初から読み返せ。