theorem :: XPRIMES2:2494

canceled;