盖尔方德对偶

证毕QED 2026.06.13