theorem Th108: :: NUMBER11:108

Sum (digits (52,10)) = 7