Prove that
cos10 - sin10 / cos10 + sin10 = tan35
cos10 - sin10 / cos10 + sin10 = tan35