theorem :: XPRIMES2:498

canceled;