theorem :: XPRIMES2:3678

canceled;