Page "Rieger's theorem" not found :(