theorem :: XPRIMES1:55

canceled;