iθの代入で良いという部分以外は問題無く証明出来るでしょ