0) Sean y dos (numeros) naturales (Nt) y tales que > b. Para establecer la verdad de la proposicion a es divisible por b basta ejecutar la division de por b: si la division indicada tiene residuo nulo la proposicion es verdadera, de otra manera es falsa.