theorem :: XPRIMES2:292

canceled;