If none of the intermediate inclusions were proper, L would equal PSPACE, contradicting the Space Hi...