see my previous lecture to solve this simple Examples
lambda Calculus Introduction https://youtu.be/yb9-H4i1OMA
lambda Abstraction and Free/Bound Variable https://youtu.be/QQ0tdOzUf9A
lambda Substitution and Beta Conversion https://youtu.be/10jQRx6bm_I