theorem Th746: :: NUMBER11:746

Sum (digits (378,10)) = 18