A formal method of proof used to establish that a given statement is true for all natural numbers.
Info message.
Are you sure you want to proceed?
EXTRA
This field is required.
