Create FixedPointTheorem.java