theorem Th308: :: NUMBER11:308
Sum (digits (399,10)) = 21