theorem :: XPRIMES2:817

canceled;