theorem :: XPRIMES2:5946

canceled;