A logical proposition that follows from one already proved