Michael Camilleri pyrmont

I like to move it. And then move it again.

pyrmont / proof.txt

Last active December 14, 2015 02:39

The premise leads to a contradiction. The only conclusion is that the premise is false.

	Premise

	- consider X, a non-zero integer with n digits;
	- consider Y, a non-zero integer that is formed by moving the first digit from X to the position of the last digit and shifting all of the remaining digits one place to their immediate left;
	- there is a value for X such that, when doubled, equals Y.

	Axioms

	- when you double an integer, you multiply each of its digits by 2;
	- the product of each digit being multipled by 2 may be incremented by 1 if the digit to its immediate right was 5 or more.