y por el teorema de la jerarquía temporal: