theorem :: XPRIMES2:806

canceled;