Acknowledgements

Thanks very much for Daniel R. Viete to go through the paper word by word. Thanks for Prof. Gordon Lister’s help. Research for this paper was funded by NSFC (Grant No. 40772121, 40172066).