theorem :: XPRIMES2:6894

canceled;