Delles proposiciones nun tán rigorosamente demostraes, sinón que fai una especie d'inducción incompleta, dando exemplos práuticos y específicos, pero'l so dominiu algorítmico ye escelente y tou lo qu'afirma pue ser demostráu coles ferramientes actuales.