The principle of double entry developed from the axioms of accounting equation is given as