(1 . 2) をあらわす即値を用意すればいいのでは。