Proof of unitIsContractible