Valuta  (utilizzando qualche considerazione geometrica, che ti può essere suggerita dalla figura a fianco)  se la condizione  x² + y² ≤ y  implica la condizione  x² + y² ≤ 1,  o se segue da essa, o se non ha con essa alcuna relazione di implicazione.