6.25 Find if an expression implies another

Remove["Global`*"] 
Refine[Sin[x]^2 + Cos[x]^2 == q, q == 1] 
 
Out[125]= True