theorem Th181: :: NUMBER11:181

Sum (digits (32,10)) = 5