Являются ли определенные методы доказательства сильнее других?