>>722
今気づいたんだけどこの証明ってp=qのときはどうするの・・・