theorem :: XPRIMES2:397

canceled;