4

https://openjlem.hypotheses.org/1012/4-3