(n)logical proofproof of a logical theorem