theorem :: AFINSQ_1:13

canceled;