more proofs, line and points