So, currently I am working on a theorom about all binary number(letters in binary). Here is the current work I have so far. That is all I have so far. It is not done yet, so it is yet to be considered a theorom, but it is on its way there. I hope this is posted in the right area. If not, could you move it to the right area? Thank you.