leudesdorf theorem