
theorem
for R being non degenerated comRing
for p being Polynomial of R holds
p is square-free iff
not ex q being non constant Polynomial of R st q`^2 divides p by lemsq;
