Malphaet/Project-Euler-Problems — comment on commit 4804de5635e99c4c42b1252d83442a69211e9fdd
File: python/three.py line 23
By Malphaet:

There is no x|b (i.e. x|a) witch aren't composed of primes of c
If x|b and x∤a (i.e x not in c) then b∤a (reductio ad absurdum)