On Dynamic Programming Theory for Leader-Follower Stochastic Games