theorem Th964: :: NUMBER11:964

Sum (digits (621,10)) = 9