help with proofs

join shbcf.ru