[raw_anon_1111]

A - your code

B - a heavy runtime that is greater than 0

C - system libraries

By definition

A + C < A + B + C

[maattdd]

Again, this is not by definition. This is by deduction.