take 0. V ; :: thesis: 0. V is divisible
thus 0. V is divisible ; :: thesis: verum