theorem :: YELLOW16:1

canceled;