Category:Primitives involving a x + b/Lemmata