User:Usagiop

I like Random proof

I add missing proofs