Prove one more exercise from Tao's chapter on set theory