| home | help | back | first | fref | pref | prev | next | nref | lref | last | post |
I erased the theorem. It makes it easier to prove. Well, let's just defer that. Maybe we'll defer that off to infinity. . < _ _ . . - - -
| home | help | back | first | fref | pref | prev | next | nref | lref | last | post |