Wagner–Preston theorem