"形式的証明と非形式的証明"の手前まで解いた。