ore's theorem