mingleberry to Minh's Theorem