proved invariant of the composition :)