森田の代数概論って証明に結構ギャップないか?