theorem Th405: :: NUMBER11:405

Sum (digits (740,10)) = 11