binary-comの引き出し証明