Input (grade 10): Moreover, two vectors can be considered orthogonal if and only if their dot product is zero, and they have non-null length.
Output (grade 11): Moreover, two vectors can be considered orthogonal if and only if their dot product is zero, and they both have a nonzero length.