領域を用いた証明

問題\(x^2+y^2<2\) ならば \(x^2+y^2-4y-12<0\) であることを証明せよ。