>>730
何に対する準同型定理?