theorem Th924: :: NUMBER11:924

Sum (digits (46,10)) = 10