theorem Th124: :: NUMBER11:124

Sum (digits (182,10)) = 11