theorem Th44: :: DICKSON:45

NATOrd is_strongly_connected_in NAT