Докажи или опровергни утверждение.

а) \( \forall a,b \in \mathbb{N} : (a+b)^2 - 5 \geq 0 \) доказывается верным из-за неотрицательности квадрата.