theoretical proof

3 papers