'[23:52] [!] Zhuf (3100) Oh well, what the hell.: Proposition: for large enough q, (5*9^q + floor[(162/91) * (10*9^2q-1 + 81^(q-1) )]) ^ 2 \leq 3 ^ (4q+3) + 7 (4q + 3) - 4 \leq (5*9^q + ceiling[(162/91) * (10*9^2q-1 + 81^(q-1) )]) ^ 2
[23:52] [!] Zhuf (3100) Oh well, what the hell.: and now
[23:53] [!] Zhuf (3100) Oh well, what the hell.: we go on holiday
[23:53] [!] Zhuf (3100) Oh well, what the hell.: good day
[23:53] 77/44 - bahdotz...: WAD????
...
[23:54] 77/44 - bahdotz...: wad happens if p is 1 mod 4
[23:54] [!] Zhuf (3100) Oh well, what the hell.: you do get 2 mod 4.
[23:54] 77/44 - bahdotz...: no u dont
[23:54] 77/44 - bahdotz...: if not i would have solved the prob
[23:54] [!] Zhuf (3100) Oh well, what the hell.: yes you do
[23:54] [!] Zhuf (3100) Oh well, what the hell.: why dont you
[23:55] 77/44 - bahdotz...: -.-
[23:55] 77/44 - bahdotz...: something is very strange here
[23:55] [!] Zhuf (3100) Oh well, what the hell.: your mod p argument doesnt work though
[23:55] 77/44 - bahdotz...: 3^p = 3 mod p
[23:55] 77/44 - bahdotz...: 7p = 0 mod p
[23:56] 77/44 - bahdotz...: -4 = -4 mod p
[23:56] [!] Zhuf (3100) Oh well, what the hell.: mm.
[23:56] 77/44 - bahdotz...: sums to -1 mod p
[23:56] 77/44 - bahdotz...: the only p tt satisfies this is p = 3mod 4
[23:56] 77/44 - bahdotz...: or rather
[23:56] 77/44 - bahdotz...: 1 mod 4
[23:57] [!] Zhuf (3100) Oh well, what the hell.: um no?
[23:57] [!] Zhuf (3100) Oh well, what the hell.: like 13 is congruent to -1 mod 7
[23:57] [!] Zhuf (3100) Oh well, what the hell.: but not 2 mod 4.
[23:57] 77/44 - bahdotz...: as in
[23:58] 77/44 - bahdotz...: the only SQUARES
[23:58] 77/44 - bahdotz...: in mod p tt satisfies -1 mod p
[23:58] 77/44 - bahdotz...: is when p is 3 mod 4
[23:58] [!] Zhuf (3100) Oh well, what the hell.: hm?
[23:58] 77/44 - bahdotz...: 1mod 4*
[23:58] 77/44 - bahdotz...: grah
[23:58] 77/44 - bahdotz...: basically
[23:58] [!] Zhuf (3100) Oh well, what the hell.: oh
[23:58] [!] Zhuf (3100) Oh well, what the hell.: hey maybe that was the solution ><.
[23:59] [!] Zhuf (3100) Oh well, what the hell.: go figure.
[23:59] 77/44 - bahdotz...: -.-'
It's like carpet-searching a few hundred square kilometres to try and locate the enemy, and then finding out that he was squatting in your base with a dumb look on his face all this time, because you inadverently took him prisoner-of-war already some time ago.