Unmixedness theorem