I think it's meant more as a thought experiment than an actual formal proof.