Beevor's axiom

تحويل بديهية بيفور