証明は一応追った。
まあ、難しいから非可測な例もあるのだと頭の片隅に置いておこう。