No hypotheses?
A direct proof won't work, so
try contradiction.

Here are the haikus that the Spring 2023 Math 114 students have permitted me to share.

Math equals patterns
patterns not everyone sees
patterns we all need.

Two coprime numbers
Only one common factor
GCD is one

Thank you professor
For giving a glimpse of life
In the real world.

Proving things takes time
Don't assume something is true
Without proving it

Base case is the start,
From 1 to k's inductive,
then we can conclude.

Questions buried deep,
Nonsense starts to have reasons,
Hot dog is sandwich?