Lochs theorem interactive visualization