theorem :: XPRIMES2:1661

canceled;