Derivation of BiCG from the conditions defining lanczos' method for solving a system of linear equations