Hi @kirill
Feel free to PM for the proofs if you need them. Thanks for your consideration.