toy theorem

a simplified instance of a more general theorem

Categories: