Strassen's conjecture is a famous statement first uttered by the German mathematician Volker Strassen in 1973. He conjectured in his article Vermeidung von Divisionen that the multiplicative complexity of the union of two linear systems in two disjoint sets of variables is equal to the sum of the complexities of the two systems. Translated: he conjectured that the rank of the direct sum of two tensors is in general equal to the sum of the ranks of the two tensors. The problem of Strassen's conjecture remained unsolved until 2019, when Yaroslav Shitov proved in his article Counterexamples to Strassen's direct sum conjecture that this conjecture is in fact false, constructing a procedure to find a counterexample for tensors in a  large number of variables. We propose to get to the core of this proof and go over the procedure constructed by Yaroslav Shitov, analyzing it in detail and providing graphical representations.