出)鍵2
求)証明GC