Correctness proofs/loop invariants tip to determine loop invariants

a) A loop invariant must be true before entering the loop, and after each iteration
b) Loop invariants are only necessary for nested loops
c) Loop invariants are not important for algorithm correctness
d) Loop invariants are optional and depend on the specific programming language