Dyck's theorem