12:15 - 12:24 This shortcut is already taught in most vector algebra courses, and is fundamentally treated as a theorem, which results from the definitions of inversion and addition. As such, this is not really contributing anything new. All it does is it attempts to treat subtraction as the more fundamental binary operation, which I would argue is not actually more intuitive.
@angelmendez-rivera351