[doc] lemma proof report is incorrect