 Snake identity

The two triangular identities $(e\otimes 1_X)(1_X\otimes n)=1_X$ and $(1_Y\otimes e)(n\otimes 1_Y)=1_Y$, with canonical associators and unitors inserted, for a dual pair in a monoidal category.