A. A. U and J. Q. K, “Eleven Proof of the Cosinus Form of Two Angle Differences”, Mid. Eur. Scin. Bul, vol. 29, pp. 45-54, Oct. 2022.