I'm not sure the wording makes it clear that a quad shares the ENTIRE face of the polyogn, i.e. does it exclude two or more quads sharing the same polygonal face?

The way I intended it, it does, but it doesn't make much difference since you could easily turn a polygon tiled multipletoaface (if one existed) to a polygon tiled onetoaface by adding vertices between the quadrilaterals on the polygon faces, and making the polygon faces bend back and forth at those vertices to differentiate them.
The reason I'm posting this here is not just to discuss the problem, but to ask what I can do with this now that I have it. Is it trivial by some theorywhere should I go to find that outand if it doesn't seem to be trivial is there a next step? Find a professor? Could I possibly get it published? My proof is centered around a graphical case analysis that, while I believe is sufficient, I don't know how to make much more rigorous/algebraic.