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