Fascinating, curious how it can be proven, but I'll go do some reading thanks