Revise qbtwnre comment in mmil.html
Revise qbtwnre comment in mmil.html

I tried proving it as suggested by the old comment, and it didn't
seem to be working.

metamath/set.mm,metamath/set.mm,metamath/set.mm