Adjoining a universal inner inverse to a ring element

We end with a normal form result for the algebra obtained by tying together a k-algebra R given with a nonzero element p satisfying 1∉pR+Rp and a k-algebra S given with a nonzero q satisfying 1∉qS+Sq, via the pair of relations p=pqp, q=qpq.