Prove that: tan 13x – tan 9x – tan 4x = tan 13x tan 9x tan 4x