Side-approximation theorem


side-approximation theorem is a theorem.