lucass root theorem