theorem :: XPRIMES2:944

canceled;