Theoretical computer science- prove with substitution

Computer Science and Mathematics