theorem :: XPRIMES2:6126

canceled;