I can prove it

ProofCheck

Verification by ProofMode