theorem Th36: :: NUMBER16:36

for n being Nat
for p being Prime st p <= n & p |^ 2 divides n ! holds
2 * p <= n