Characterization of crossed product (properly infinite case)