Volkov В. and Panchuk К., “Axiomatics of projective line geometry”, prengpe, vol. 7, no. 7, p. 14, Jan. 2023.