Some solvings on proof of some basic theory

1 answer

ever try google?