theorem :: XPRIMES2:6128

canceled;