theorem :: AFINSQ_2:41

canceled;