hmmm proofs like these can be a bit circular kinda, let's do some rigamarole on the equations and we'll see if that works for a definition
8.8m questions
11.4m answers