theorem :: XPRIMES2:3230

canceled;