theorem :: XPRIMES2:2382

canceled;