theorem Th185: :: NUMBER11:185

Sum (digits (96,10)) = 15