Polynomial Reduction and Super Congruences - Qing-Hu Hou; Yan-Ping Mu; Doron Zeilberger (2019)