Respuesta :

[tex] a,b\in\mathbb{N}\\\\
ab\geq a \wedge ab\geq b\\
b\geq 1 \wedge a\geq 1 [/tex]

The above is true since [tex] a,b\in\mathbb{N} [/tex]