By the definition of total magic co

By the definition of total magic cordial labeling to get a constant C  1 (mod 2),with the above vertex labeling, edges are labelled as f(uv) = 1, f(uui ) = 1 or f(uui) = 0 and f(vvj) = 1 or f(vvj) = 0. To prove that square of Bistar admits total magic cordial labeling we have to prove that the number of vertices and edges labeled zero and number of vertices and edges labeled one differ by one.