theorem :: XPRIMES2:864

canceled;