theorem :: XPRIMES2:853

canceled;