This problem concerns the Peano Arthmetic. Px denotes: “x is prime”; that is: Show that
a) ∀x∀y [(Px ∧ Py ∧ x|y) --> x=y]
b) ∀x∀y∀z∀u∀v[Px ∧ Py ∧ Pz ∧ Pu ∧ Pu)-> x∙y∙z≠∙u∙v].
I am really clueless on how to solve both of these. Any help/hint will be appreciated thank u.