theorem :: XPRIMES2:4961

canceled;