может кто-то написал, но третье действие типа:

4(1:1) = 5(1:1) раскрывается по правилу, как
4:4 = 5:5 и видим, что
1=1,
сокращать скобки думаю нихуя не разумно.