'PROVED' updates every 5 seconds instead of every time it proves a number, as it would spam scratch with cloud variable updates. Uses 'x' as temporary variable to check if 'current' satisfies the conjecture. If 'x' is less than 'current', it means that it has reached an already proved number, so it is proved. Only checks odd values, as even values will directly be divided by 2 to decrease it to below 'current'.
