Prove the identity

sin squared 0 with line/2 = csc zero with line -cot zero with a line /2csc zero with a line