Formal verification of solution from the homework.
Updated 2022-01-06 22:00:08 -08:00