Fixed Ordering III
			n Theorem: