FWL Theorem in R3