AC.BD=AD.BC+AB.DC
BD=BC+CD
AC=AD+DC
AC.BD=AD.BC+AD.CD+DC.BC+DC.CD=AD.BC+AD.CD+DC.BC-DC.DC
AD=AC+CD
AD.CD=AC.CD+CD.CD
AD.BC+AC.CD+CD.CD+DC.BC-DC.DC=AD.BC+AC.CD+DC.BC=AD.BC+AC.CD+CB.CD
=AD.BC+AB.CD