theorem Th451: :: NUMBER11:451

Sum (digits (1220,10)) = 5