@Francis17
ready proofs
thanks