I don't see any Cosine being mentioned in the proof. I don't see any circular logic here.