theorem :: XPRIMES2:5817

canceled;