theorem Th38: :: NUMBER16:38

for n being Nat
for p being Prime st 2 < n & n div 2 < p & p <= 2 * (n div 2) holds
p |-count (n !) = 1