% SZS status Theorem for word__nchoto
% SZS output start Proof for word__nchoto
  file('i/f/words/word__nchotomy',ah4s_wordss_n2wu_u_w2n)).
  file('i/f/words/word__nchotomy',ch4s_wordss_wordu_u_nchotomy)).
% SZS output end Proof for word__nchoto
