theorem :: XPRIMES2:6176

canceled;