theorem Th835: :: NUMBER11:835

Sum (digits (1386,10)) = 18