Genel fasülye teoremi, kütokratlar, kemençeli atlar ve dahası...