Category:Primitives involving a squared minus x squared/Lemmata