It is really useful for mathematicians (or math students) use a proof assistant software?
A certain compound contains Calcium, Carbon and Nitrogen in the mass ratio 20:6:14. Then what is its empirical formula?