My brouwser does not want to let me pull up Matt's message. I think what he wanted to point out is that, in the the group project suggestions for how to approach the Schroeder-Bernstein Theorem, you cannot start off by assuming f and g are bijections. That is what you are trying to prove. What you know to begin with is that they are injections...