En la prueba del principio del producto la función biyectiva entre {0,...,mn-1} y AxB que se define es h(k)=(f(r),g(q)) donde
k=qm +r,
m=#A,
f y g las biyecciones existentes entre A y {0,...,m-1}, y B y {0,...,n-1}.
Mi duda es si q necesariamente está en el dominio de g.
