Addition principle (source code)

= Addition principle
{wiki=Addition_principle}