Yay for finally coming up with a proof on an outstanding problem, but it also seems like a pointlessly abstracted and arbitrarily defined one

Don't look into higher math...