-alias id "numeratorQ" = "cic:/matita/Q/q/q/numeratorQ.con".
-alias id "nat" = "cic:/matita/nat/nat/nat.ind#xpointer(1/1)".
-alias id "defactorize" = "cic:/matita/nat/factorization/defactorize.con".
-alias id "Q" = "cic:/matita/Q/q/q/Q.ind#xpointer(1/1)".