proofs

CZ013