μ(X)<∞ ⇒μ(Φ)=0
を使う