Proof of some supercongruences via the Wilf-Zeilberger method - Guo-Shuai Mao (2019)