theorem :: XPRIMES2:1492

canceled;