theorem :: XPRIMES2:946

canceled;