An assumption that is chosen arbitrarily. It is often used to narrow down to single sufficient cases, proving one case rather than other redundant cases.
An assumption that is chosen arbitrarily. It is often used to narrow down to single sufficient cases, proving one case rather than other redundant cases.