theorem Th288: :: NUMBER11:288

Sum (digits (95,10)) = 14