https://ruclips.ru/en/watch/TkqcPh0BFUw/an-example-proof-using-identities-of-regular-expressions