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