3.12が否定されたとしても、ABCが否定されるわけではない
単に偽なる命題からなんでも証明できてしまう、という実例が一つ増えるだけである