“Upgrading multifuncoid” conjecture proved

I have proved the conjecture “Upgrading a multifuncoid is multifuncoid”. The proof is currently presented in this online draft article.