Prove a sup

Printable View