Starting solution to problem 54
Slight addition to equality proof