I think it's called Bézout's theorem (you may want to check it out in your textbook,though;it's been a while since i graduated h-s).I have a hunch that,even though the first "polynomial" (the power tower) is infinite,the remainder will be power tower of 700^{\frac{1}{700}},which is a number.
But of course,it doesn't make any sense,this "remainder" cannot be checked upon,because you can't do an infinity of divisions.
Daniel.