نشان خواهیم داد که هر جبر لی موضعاً متناهی از بعد شمارا روی میدان f که در یک تجزیه ریشه صدق کند و رادیکال موضعاً حل پذیرش برابر صفر می باشد، ضرورتاً تحویلی - ریشه خواهد بود.