Si el cuerpo de un subprograma es por sí mismo suficiente para definir