Justify each step in the following proof sequences:

A) B ^ [(B ^ C) -> A'] ^ (B -> C) -> A'

1) B

2) (B ^ C) -> A'

3) B -> C

4) C

5) B ^ C

6) A'

B) A' ^ B ^ [B -> (A v C)] -> C

1) A'

2) B

3) B -> (A v C)

4) A v C

5) (A')' v C

6) A' -> C

7) C