2006年2月13日、アマチュアFAとしてMLBコロラド・ロッキーズと契約。2007年は傘下Rookie+クラスパイオニアリーグのキャスパー・ゴースツでプロデビューし、翌2008年までプレーした。2009年にA+クラス昇格、カリフォルニアリーグのモデスト・ナッツに所属。2010年にAAクラスに昇格しテキサスリーグのタルサ・ドリラーズでプレーし翌年9月にまで所属。2011年9月6日のアリゾナ・ダイヤモンドバックス戦でメジャーデビュー。2012年8月27日のロサンゼルス・ドジャース戦での21号2ランで、チャールズ・ジョンソンが保持していたロッキーズの捕手最多本塁打記録を9年ぶりに更新した。最終的に本塁打数は28で、トッド・ヘルトンのロッキーズ新人記録（25本）を塗り替えた。2013年は121試合に出場し打率.292・21本塁打・79打点、四球は前年比-10で、打率を伸ばしながら出塁率は前年と同水準に終わった。2014年、3年連続で正捕手として試合に出場し、3年連続で100試合出場をクリア (106試合) した。打率.267・13本塁打・54打点で3年連続2ケタ本塁打、二塁打は自己ベストの25本。前年比-15試合の出場ながら四球を8増やす。パスボールは3年連続でリーグ最多の捕逸(12)を記録した。2015年は開幕からロースター入りしていたが4月22日にAAAクラスパシフィック・コーストリーグのアルバカーキ・アイソトープスに降格、5月8日にタイラー・マツェックと入れ替わりで再昇格した。7月の打率が.167に低迷したためAAA級アルバカーキに降格、9月1日にセプテンバー・コールアップにより再昇格したが9月も打率.238に留まった。2015年は捕手としての出場は2試合に留まり、残りは一塁手や代打のみの出場となった。12月2日にノンテンダーFAとなり、オフはドミニカ共和国ウィンターリーグのアギラス・シバエーニャスでプレーした。
SoftBank 731SCをベースモデルとし、折りたたみ型に変更されているが、機能は大幅にスペックアップされている。フラットなデザインとコンパクトなサイズをキーワードに設計されており、通常より大きめのキーを使用している。カラーは全5色である。
2017年の1着賞金は5400万円で、以下2着2200万円、3着1400万円、4着810万円、5着540万円。
D に包含される f(z) の零点だけから成る開集合の全ての集合を Y と置く。定理の前提と第1段階の証明から明らかなように、 Y に属する元は少なくとも1つは存在する ( Y は空ではない）。Y に属する全ての開集合の合併集合を D_1 と置く。 D_1 は開集合族の公理から当然開集合である。 D_2 = D \cap {\overline{D_1 }}^c ( {\overline{D_1}}^c は D_1の閉包の補集合)と置けば、D_2 も開集合である。当然 D_1 \cap D_2 = \emptyset (空集合)である。\overline{D_1} = D_1 \cup \partial{\overline{D_1}} (\partial{\overline{D_1}} はD_1 の境界点の全集合) であるから\gamma = D \cap \partial{\overline{D_1}} と置けば、D = D_1 \cup D_2 \cup \gamma である。D_2 が空でないと仮定する。すると \gamma も空ではない。なぜなら、\gamma が空であれば、D = D_1 \cup D_2 であるから、D は交点を持たない2つの開集合に分割されてしまって連結ではなくなるからである。z_1、z_2 をそれぞれ D_1、D_2 の任意の点とすれば、 D は連結であるから z_1、z_2 を結ぶ D 内に含まれる折線が存在する。これを C と置く。C と \gamma の交点が存在する。なぜなら、これが存在しないとすれば、C_1 = C \cap D_1、C_2 = C \cap D_2 と置けば、C = C_1 \cup C_2 であり、C は交点を持たない開集合 D_1、D_2 にそれぞれ含まれる折線 C_1、C_2 に分割されることになり、C が連結でなくなるからである。C と \gamma の交点の一つを z_3 と置く。 z_3 は D の内点であり、また D_1 の境界点であるから f(z) の零点集合の集積点であり、証明の第1段階の結論からある正数 r が存在して、 D に含まれる開円板 U = \{ z |\ |z-z_3| < r \} 内では f(z) は恒等的に 0 である。従って、 D_1 \cup U は D に含まれる f(z) の零点集合であり Y に含まれる。z_3 は D_2 の境界点でもあるから、U は D_2 の点を含む。従って D_1 \cup U は D_1 を真に包含し、 D_1 が Y の全ての集合の合併集合であることに反する。従って D_2 は空でなければならない。従って D = D_1 が成立し、D は f(z) の零点集合である。つまり D で f(z) は恒等的に 0 である。