theorem :: XPRIMES2:1676

canceled;