E. Mazėtis and G. Melničenko, “Proofs without words”, LMR, vol. 64, no. B, pp. 50–58, Nov. 2023, doi: 10.15388/LMR.2023.33596.