not 0. L divides 1. L ;
hence not 0. L is unital ; :: thesis: verum