Lochs%27 theorem

undefined