Opdam (1989) gave a uniform proof for all crystallographic reflection groups.
Opdam (1989) はすべての結晶鏡映群に対する統一的な証明を与えた。