It's crazy to me that I've had graph theory on university, and many graph algorithms, and I don't remember ever hearing that multiplicating adjacency matrices have this properties.

Maybe I just forgot about it.

It would make some algorithms much easier :)