Now suppose that the A i {\displaystyle A_{i}} is unclassified and could be legally inserted into the index indicated by its class pointer, which would replace a classified element in another class.
Es wird jetzt angenommen, dass A i {\displaystyle A_{i}} unklassifiziert ist und damit legitimerweise an dem Index, der durch seinen Klassenzeiger spezifiziert wird, eingefügt werden kann, wo es ein klassifiziertes Element in einer anderen Klasse ersetzen würde.