(∃x) (∃y) (x²+y²-4x-6y+13=0), unde x si y sunt numere reale