Title: Solved Hence Proved