#P11580. 保命题

保命题