P
Initializing...
Lemma 4.9: every singleton of a term is regular · Prove2Me