theorem :: XPRIMES2:55

canceled;