theorem Th926: :: NUMBER11:926

Sum (digits (69,10)) = 15