任意の z、w∈C に対して、| (1+|z|^2)w - (1+|w|^2)z | ≧ | z \bar{w} - \bar{z} w |

( ﾟ∀ﾟ) ﾌﾟｹﾗｯﾁｮ！