theorem :: XPRIMES2:1755

canceled;