theorem :: XPRIMES2:1397

canceled;