204	 Proving Theorems by Pattern Recognition I
