nu * xunu * uxuKunu * * un * u * uu * * u *n