theorem :: XPRIMES2:252

canceled;