P2 illicitly slides from 'at least one isomorphism is A-preserving' to 'an A-preserving isomorphism exists whenever a B-preserving one does,' conflating existential and universal quantification over isomorphisms.
?Rate how convincing each reason is below to see the overall strength.