I have never confused concrete for rock.
Neither has anyone else.. The egyptians used a primitive type of cement, not concrete.
The Romans invented concrete, not the egyptians, and they did it well after the pyramids were built.