Proofs

RQA_6631
Rich Quindry