この式を返します。