The analogy theorem in Hoare logic. - Nikitin Nikita (CoRR, 2025)