patience: task 2 proved provided injectivity is proved