Corollary

A sufficient condition for program triviality is that it has no bugs.