TEOREMADIVONZEIPEL:IAUT93