ある式で成否が異なる場合: kを変えて成否が異なっても矛盾しないのであなたの証明は間違い

具体例をしめして下さい