6 X \ uinv)