I think I have got a solution, but's its also prooving the existence of the two numbers : no acceptation by faith!
would it fit?
(i hope not, because i feel lazy and though it's not very long it's a little tricky because it's involving the distinction betwenn numbers and their 'correspondant' modulo 4k+1=p')