The proof of the first part is by contradiction, and hence Máthé's proof does not immediately yield an explicit winning strategy against the real devil.
Вторая часть доказывается от противного, а потому доказательство Мате не даёт немедленно выигрышной стратегии против действительного дьявола.