theorem Th207: :: NUMBER11:207

Sum (digits (352,10)) = 10