theorem :: XPRIMES2:954

canceled;