theorem :: WAYBEL_5:7

canceled;