A result of the Computer Thesis Statement