""fadf877 Finished proof of problem 1-14
""