Original: This is also known as Ad Coelum.
Simplified: Generally, it is also known as Proof by contradiction.