theorem Th759: :: NUMBER11:759
Sum (digits (396,10)) = 18