Redirecting to Structured program theorem