circuit analysis - Proof of Thevenin's and Norton's Theorem?

Googling this gave me a number of proofs, but almost all of them assume the load is a linear component.

Could someone give me a proof for these theorems assuming the load can be anything (a linear or non-linear component)?