(n)lemmaa subsidiary proposition that is assumed to be true in order to prove another proposition