theorem :: AOFA_A00:9

canceled;