初等的証明の定義を教えてください。