theorem :: AFINSQ_1:85

canceled;