theorem :: XPRIMES2:555

canceled;