solve
denote solved suppose amount transcribed
checking equivalence relation integers
integers checking equivalence relation denote integer means symmetric declare saying unwind recall equivalent reflexive
solved ordered denote transcribed show
solved occurs transcribed value