theorem :: XPRIMES2:1810

canceled;