Added binary numbers and proved that they are isomorphic to unary