Ignore compiled Idris files.
Simple proof that the sum of two multiples of n is a multiple of n.