se considera cunoscuta dubla implicatie
0<a<b⇔√a<√b
incadram pe 53 intre 2 patrate perfecte
49<53<64
atunci
7=√49<√53<√64=8
deci √53∈(7;8) 7∈N si 8∈N
intre numerele naturale 7 si 8
daca se calculeaza cu algoritmul de extragere a radacinii patrate, sau pe calculator, se obtine√53≈7,28..