de "ZAI", luego la base "ZC" es (por la cuarta proposición) igual a la base "IB" y