theorem :: XPRIMES2:894

canceled;