theorem :: XPRIMES1:54

canceled;