The JABSUZ CONJECTURE. A very sweet Christmas present from Jab.
As a Christmas present and some fun I paid for some time on a super computer that finds proofs for mathematical theories. If you pay for the time, you get to name the proof it finds. And that proof retains it’s name for eternity.
This is the JABSUZ CONJECTURE
(Link: THEORY MINE)