勉強する=留年しない・・・・1)
勉強しない=留年する・・・・2)

1)と2)より

勉強する+勉強しない=留年しない+留年する

∴ (する+しない)勉強=(する+しない)留年


両辺を(する+しない)で割ると

勉強=留年。
つまり、勉強をすると、留年することが証明された。