finished important lemma for swapiWorks