theorem :: XPRIMES2:4946

canceled;