もし2つのトーラスがもともと異なるformula_12値に対応しているとすると、それらは等価ではない複素構造を持つ。