Quick proofs

Rider 1

 


Rider 2