https://9lib.org/document/yevw835e-podstawowe-własności-rachunku-operatorowego.html