theorem :: XPRIMES2:766

canceled;