a)

Aby opuścić wyrażenia z modułów, musimy najpierw na jedną stronę przerzucić wyrażenie w module, natomiast na drugą stronę wyrażenia pozostałe. Opuszczając moduł pamiętamy, że dostajemy dwa