theorem Th183: :: NUMBER11:183

Sum (digits (64,10)) = 10