finite rank operator