 Proposition 3.12 (Bicchieri 1993)  In an extensive form game of perfect information, the agents follow the backwards induction solution if the following conditions are satisfied for each agent \(i\) at each information set \(I^{ik}\):