theorem :: XPRIMES2:2402

canceled;