theorem :: AFF_1:1

canceled;