theorem :: XPRIMES2:1886

canceled;