In this paper, I formally prove that SRP is wrong.

First using Bob Martin's own words. Then, formally, using the concept of change driver.