Proofs still needed that all the examples on the left hand side cannot fit on the right hand side as well, and that EX9877 cannot fit on the left hand side as well.
Currently, the solution is overridden by BP1116. (See @overriddensolution.) Can more examples be added to fix this? |