Complete another admitted proof