User:Usagiop

I like to add missing proofs