User:Selfworm/Userboxes/IrrationalProof