“What if we had proved it to be self-contradictory that there should be no 777 in π, mustn't we then say that there are 777?”