Matsuyama (1973) simplified the proofs.
Matsuyama (1973) は証明を簡単にした。