Leopoldt reflection theorem