ABSTRACT

Proposition 1: