theorem :: XPRIMES2:2492

canceled;