Expansitivity There does not exist

$0

1