read `BCMV.txt`:
ProveConjBx();

quit: