in6-inverseproof-by-contradiction

Apply IN6 Inverse/Proof by Contradiction to assume a claim is false, derive logical impossibility, thus proving the claim true.