1 type proofs	pruebas de tipo