automated proof

關注微信公眾號：icidian，回復如:automated proof英文，可方便查詢。