a² + b² = c²