"n" ＝ 0のときの双積条件は非常に簡単になる。