theorem Th230: :: NUMBER11:230

Sum (digits (85,10)) = 13