D_AとA(D_Aのゲーデル数)が論理的に同値だと言ってるだけだと思いますよ

左が正しければ右も正しく、右が正しければ左も正しい