If those couple of lines couldn’t be determined to be true without the 83 page setup then it took all 83 pages to prove 1+1=2