Kopie vanhorner theorem