theorem :: XPRIMES2:661

canceled;