Corollary 1 - A sufficient condition for program triviality is that it have no bugs. Corollary 2 - At least one bug will be observed after the author leaves the organization.