Y está declarado que "AIT" es igual al ángulo "ITZ", luego "AIK"