If cardinal representation requires AC as a necessary condition, the claim is not a theorem of ZF bu...