`where h' < H` moet waarschijnlijk `where h' $<$ H` worden.