Video in TIB AV-Portal: 05.01 äquivalenzumformung, Lösungsmenge