theorem Th409: :: NUMBER11:409

Sum (digits (800,10)) = 8