13.1:

Screenshot 2024-12-01 at 10.11.41.png

Using the Domain Closure at the end to prove the solution

13.2: