⇐|A₁|==(|2!|) ∧ |B₁|==(|5!|) ⟹⇐ |A₁|==(|2!|) ∧ |B₁|==(|5!|) ⟹ |C₁|==(|122|) ∧⇐ |A₁|+|B₁| = {|2| == {[2(1)]} + {|120| == [[[[|5|(|4|)](|3|)](|2|)](|1|)] ∨ [[[|20|(|3|)](|2|)](|1|)] ∨ [[|60|(|2|)](|1|)] ∨ [|120(|1|)]} == |122| ⟹ |A₁|+|B₁| == |C₁| ∧ |2!|+|5!|==|122| ;{"Prove me wrong."};