અમારા સાબિતીમાં મદદ કરવા માટે, અમને બીજી નિરીક્ષણની જરૂર પડશે ઉપરોક્ત ઉદાહરણોથી, આપણે જોઈ શકીએ છીએ કે પી ({a}) એ પી ({a, b}) નું ઉપગણ છે.