Nichols–Zoeller freeness theorem