<keyword>assume</keyword>
<keyword>suppose</keyword>
<keyword>by</keyword>
+ <keyword>is</keyword>
+ <keyword>or</keyword>
+ <keyword>equivalent</keyword>
+ <keyword>equivalently</keyword>
<keyword>we</keyword>
<keyword>prove</keyword>
<keyword>proved</keyword>