theorem :: AFINSQ_1:1

canceled;