ProofCheck

Verification by ProofMode