A Theoretical Results

The first theorem is the main result that allows us to analyze dual curriculum games. We provide a formal proof below: Proof. We get the desired result by combining these two arguments. Repeating the symmetric argument shows the desired property for the second teacher. Following this main theorem, we can apply it to two of our methods.