An elementary proposition concerning parallel imports · Study