Firm and Equity Value

For an all-equity firm the asset value equals equity value. For a levered firm asset value equals the sum of market debt and equity values. This identity does not itself prove that levered and unlevered firms have the same value.