theorem :: YELLOW15:3

canceled;