seperated lemma etc from similarly named environments defined in disitt by adding 'de' for the moment until we understand how these environments will be used