% SZS status Theorem for WORD__G
% SZS output start Proof for WORD__G
  file('i/f/integer_word/WORD__GEi',ah4s_integers_intu_u_ge0)).
  file('i/f/integer_word/WORD__GEi',ah4s_wordss_WORDu_u_GREATERu_u_EQ)).
  file('i/f/integer_word/WORD__GEi',ah4s_integeru_u_words_WORDu_u_LEi)).
  file('i/f/integer_word/WORD__GEi',ch4s_integeru_u_words_WORDu_u_GEi)).
% SZS output end Proof for WORD__G
