Theorem proving by the study of example proof traces, or theorem proving by a correct theorem statement