[majkinetor]

You can actually only prove unreal things because you impose limitations. Real things can not be proven, but only disproved.