Give 2 argument and Use the inference rules, replacement rules,
and prove the validity.