Это проблема с ложными доказательствами истинных теорем; Нелегко произвести контрпример.