Adds well-known hierarchy theorem for completeness.