a²+b² ist c ²