知らずに自力で導出すると感動する