theorem Th401: :: NUMBER11:401

Sum (digits (700,10)) = 7