Zuck

常见例句

ZPKM，this is XY001,crossing JTG, to ZUCK,with you.
飞：昆明区调，学员001，过金堂，去重庆，听你指挥。
ZPKM，this is CCA5972,crossing JTG, to ZUCK,with you.
飞：昆明区调，国航5972，过金堂，目的地重庆，听你指挥。
ZPKM，this is 3HA001,crossing JTG, to ZUCK,with you.
飞行员：昆明区调，假日001，过金堂，去重庆，听你指挥。
ZPKM，this is Rchina1039,crossing JTG, to ZUCK,with you.
飞：昆明区调，国航1039，过金堂，目的地重庆，听你指挥。
ZPKM，this is CCA2715,crossing JTG, to ZUCK,with you.
飞：昆明区调，国航2715，过金堂，去重庆，听你指挥。
Zuck's original proof which I was trying to emulate.
我觉得如此复杂的证明过程很可能会有小错误，但是我没办法证明证明过程本身是正确的。