MAYBE
0.07/0.18	MAYBE
0.07/0.18	
0.07/0.18	Problem:
0.07/0.18	 *(x,*(y,z)) -> *(otimes(x,y),z)
0.07/0.18	 *(1(),y) -> y
0.07/0.18	 *(+(x,y),z) -> oplus(*(x,z),*(y,z))
0.07/0.18	 *(x,oplus(y,z)) -> oplus(*(x,y),*(x,z))
0.07/0.18	
0.07/0.18	Proof:
0.07/0.18	 Open
0.07/0.18	EOF