Այսպիսով, եթե կան երկու ուղիղներ, և դրանցից մեկը բաժանված է կամայական թվով մասերի, ապա այս երկու ուղիղ գծերով կազմված ուղղանկյունը հավասար է չկտրված գծի և մասերից յուրաքանչյուրի կազմած ուղղանկյունների գումարին։ Ահա այն ինչ պահանջվում էր ապացուցել։
† Այս պնդումը հետևյալ հանրահաշվական նույնության երկրաչափական տարբերակն է՝ <math>a (b + c + d + · · · ) = a b + a c + a d + · · · .</math>
== Պնդում 2 ==