Dark matter substructure study through gravitational lensing Using gravitational lensing systems, we can infer and constrain dark matter properties.