Новичок

Proof_is_trivial