Description: Change the free variable of a hypothesis builder. (Contributed by NM, 21-Jun-1993)(Revised by Andrew Salmon, 11-Jul-2011) Add disjoint
variable condition to avoid ax-13 . See hblemg for a less
restrictive version requiring more axioms. (Revised by Gino Giotto, 20-Jan-2024)