>689
x:yは任意の整数比を取りえます。

しかし、その場合、式は成立しません。