theorem Th286: :: NUMBER11:286

Sum (digits (76,10)) = 13