Эффективные способы доказательства и опровержения