>>340
A|-Bなら|-A→B
これの仕組みを理解していないと、あなたが証明したことすべてが無駄になるわけです
証明になっているかすら疑問が湧くわけですから