>>741
お前読んだことねえのかwwww
論理式による証明だよ?ん?