Prove If Sinx35