Seems like solving one would by definition solve the other?

Edit, spelling