A note on Zheng’s conditions for implementing an optimal auction with resale