theorem Th847: :: NUMBER11:847

Sum (digits (1518,10)) = 15