Thanks for sharing @knallkopppp, I am interested and ready to share proofs if needed.