Rationality and Common Belief in Rationality in Brandenburger & Dekel (1987)
The concept that Brandenburger and Dekel (1987) call an "a posteriori equilibrium" is roughly the same as what Dekel and Siniscalchi call an "epistemic type structure for a complete information game" in which all types are rational and there is common belief in rationality. Therefore, Brandenburger and Dekel's Proposition 2.1, together with the remark that immediately follows the proof of Propoistion 2.1, is roughly the same as Theorem 1 in Dekel and Siniscalchi.