Most of the results appearing here were first established in (Johnson 1951), (Utumi 1956) and (Findlay & Lambek 1958).
ここで現れるたいていの結果は最初 (Johnson 1951), (Utumi 1956) と (Findlay & Lambek 1958) において証明された。