theorem :: XPRIMES2:1660

canceled;