theorem :: XPRIMES1:288

canceled;