Proving Trig Identities part 1

[AlberPopov]

shouldn't you check if sin(x)=/0 before dividing by it?

[ProfessorElvisZap]

@AlberPopov On the left hand side, we are dividing by both sine and cosine so, multiples of pi/2 are already excluded.