Rigorous proof of Behrman's expectation equation

Middle step s’ contain s and a Information about , Only according to the personal understanding of Markov process , If you are willing to give more rigorous proof, welcome to share .

I have been connected , Using Markov property , The proof is complete ！