theorem :: XPRIMES2:881

canceled;