adduce+in+proof