The Luby-Rackoff theorem states that if a round function is a secure pseudorandom function (PRF)
then 3 rounds are sufficient to make the block cipher a pseudorandom permutation (PRP).
PRPs are invertible whereas PRFs are not. How come 3 rounds of a PRF
will make an invertible block cipher out of a non-invertible function?