Mathematical proofs can be many pages long and contain many equations, statements etc each of which needs to be accepted as true/valid etc. One can provide an incomplete proof of a "major" theorem if one of the fundamental equations or theorems itself is yet to be "proven" - although its validity may be "accepted". Then, someone can come along later and "prove" that minor theorem, thus completing the proof of the major one.