theorem Th391: :: NUMBER11:391

Sum (digits (600,10)) = 6