theorem :: NUMBER14:64

multiples 0 = {0}