IC = 0 by Def1;
hence ObjectKind (IC ) = (0 .--> NAT) . 0 by Def1
.= NAT by FUNCOP_1:72 ;
:: according to MEMSTR_0:def 3 :: thesis: verum