We prove that the class LOGSPACE (L, for short) is different from the class NP.

翻译：我们证明LOGSPACE类（简记为L）与NP类不同。