theorem :: YELLOW15:2

canceled;