Uit onze eerste constructie volgt:[br] [math]\Longrightarrow[/math] IDBI = IAFI = ICEI