generated at
Lからdへの右普遍射による随伴系の構成