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