●命題1.3

任意の複素数uが与えられたとき、

u≣u' mod Ω

となる[u0]が唯一つ存在する