We prove equivalence between the forcing with propositional Lindenbaum algebras and the Cohen forcing with finite partial functions.