A A ? : intro : [A l (0)

by elim