File:Proof that there is no way to write Rayo function in compact... by Kyodaisuu (November 3, 2013)