Add conditions to prove some things

Add new conditions to prove that the introduce values in "rellenar
ficha" could ve valid