2 pages, integer arithmetic computer proof