theorem Th970: :: NUMBER11:970

Sum (digits (690,10)) = 15