Category:Primitives involving x squared minus a squared/Lemmata