theorem Th1286: :: NUMBER11:1286

Sum (digits (3825,10)) = 18