Calculo Tipo
: 1 b I