theorem Th258: :: NUMBER11:258

Sum (digits (408,10)) = 12