Si "z" y "z"+"n" no son enteros negativos, entonces