theorem Th195: :: NUMBER11:195

Sum (digits (256,10)) = 13