Basic Floer theory in Arnold conjecture