Aä * Ia representation (9de