ヤン–ミルズ方程式をどこまで解けるか――厳密解の導出から質量ギャップの証明条件まで