theorem :: XPRIMES2:667

canceled;