つthe proof of ABC is not effective, as expected