theorem :: XPRIMES2:2126

canceled;