Removed circular logic in solution #3 proof