lie by inclusion (Explicit)

lie by inclusion (Explicit)