Pifagor teoremasi Lean rasmiy tizimida ikki sonning yig'indisi kvadratining ta'rifi va Pifagor lemmasini qo'llash orqali isbotlanishi mumkin.
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence