日>a	&coprod