>>477 proves theorems which were already proven all night long. Get a life already, bicycle-reinventor!