theorem Th168: :: NUMBER11:168

Sum (digits (15,10)) = 6