[amsat-bb] VUCC proof