Discrete Mathematics -Propositional Logic How to get 

B↔C from B∧C . Using derivation method i.e Step by Step .


My attempt :
            i) B∧C Rule P 
            ii)B Rule T (i) Simplification B∧C ⇒ B
            iii)C Rule T (i) Simplification B∧C ⇒ C


I'm stuck here ..
HINT (first 3 lines):


Suppose $B\land C$
Suppose $B$
$C$  (from 1)
I use Lukasiewicz/Polish notation and condensed detachment.  The axioms I will use are:


CpCqp.
CKpqp.
CKpqq.
CCpqCCqpEpq.


Here we go:

assumption 5 Kbc.
D2.5       6 b.
D1.6       7 Cqb.
D3.5       8 c.
D1.8       9 Cqc.
D4.9      10 CCcqEqc.
D10.7     11 Ebc.