実数c（0＜c＜1）と，実数x，y，a，bの間に
｜x−a｜＜c，｜y−b｜＜c
という関係があるとき，
｜xy−ab｜＜（c＋｜a｜＋｜b｜）c
が成り立つことを証明せよ。