posteriormente, se compile el cuerpo del subprograma, se comprobará que