[griffzhowl]

Yes, I was assuming it, not deriving it, so there's no circularity.

I realise though that I was answering more "How does it work?" (application) rather than "Why does it work?" (derivation)

For the latter, something involving sets of linear equations is probably best, as you initially said