theorem :: AFINSQ_1:29

canceled;