#conjecture proof

1 story