この例では、2つのベールイ関数 "f"1と "f"2はモジュライの体上で定義されているが、ベールイ関数の定義体がモジュライの体より真に大きくならなければならないデッサンが存在する。