Proof of the largeness of the flying carpet.