Since this is proved it is evident that if a false and not impossible assumption is made, the consequence of the assumption will also be false and not impossible: eg if A is false, but not impossible, and if follows from, also will be false but not impossible.