そうですね。勉強不足でした。
標数0の時は完全体で分離的なので単純拡大。
標数p≠0の時をもっと厳密に述べなければいけませんでした。
出直してまいります。m(__)m