Die Fehlerbeschreibung einschl. Beweis gibt es http://www.uniturm.de/forum/248/thread/35 hier im Forum.