theorem :: XPRIMES2:1610

canceled;