Added first lemma for ShapPrefix to-++)