lochs theorem