Adam Naumowicz, Radoslaw Piliszek: More on Divisibility Criteria for Selected Primes. Formaliz. Math. 21(2): 87-94 (2013)