theorem :: XPRIMES2:2270

canceled;