A generalization of a necessary and sufficient condition for primality due to Vantieghem (Q1777907)

The author present a family of congruences which hold if and only if a natural number \(n\) is prime. For any positive integers \(m\) and \(n\), the congruence \[ \prod_{d=1}(1-m^d)\equiv n\pmod{\frac{m^n-1}{m-1}} \] is shown to hold if and only if \(n\) is prime, thus generalizing a result of \textit{E. Vantieghem} [Indag. Math., New Ser. 2, No. 2, 253--255 (1991; Zbl 0734.11003)]