Help with questionable FOL translation and a proof based on the same principle

Printable View