theorem Th952: :: NUMBER11:952

Sum (digits (414,10)) = 9