english: Though they have absolutely  no parts in common, the two ships are numerically identical, meaning one and the same, so A equals B.
non_english: Čeprav nimata skupnega niti enega dela, sta ladji numerično enaki,  gre za eno in isto ladjo, torej je A enako B.