The theorem dates back to the early 1950s and can be found in Serre & 1951-4 and Tits (1955).
定理は1950年代初頭にまでさかのぼり、Serre (1951-4) と Tits (1955) において見つけられる。