Математическая лемма, используемая при строгом выводе закона Лорентц — Лоренца