オセロ、双方最善手を打てば引き分けと証明される