(A^d)^d=空ぐらいなら「自明」の一言でいいんじゃね?
嫌なら近傍でも取ってみれ