theorem :: XPRIMES2:6665

canceled;