An elementary example is the fact that unique factorization fails in $Z[\sqrt{-5}]$, which shows that there is no obvious proof of the fundamental theorem of arithmetic.