generated at
推移的
推移律を満たす