Theorem gold_lt_two

Modification history