theorem :: XPRIMES2:4248

canceled;