ROFL.
This is all ^
Welcome ><

Proofs FTW ...