For theoretical analysis, this approach is more suited for constructing detailed formal proofs and is generally preferred in the research literature.
Это теоретический подход, который является более подходящим для построения детальных формальных доказательств и предпочтителен в исследовательской литературе.