Para todo X Entero; para todo X > 0