Added a lemma to ssrcomplements