Structured program theorem

ID: structured-program-theorem

New to topics? Read the docs here!