theorem :: XPRIMES2:7755

canceled;