https://9lib.org/document/yd7m5deg-chv-atal-erd-os-type-theorems.html