theorem :: XPRIMES2:1665

canceled;