theorem :: XPRIMES2:5676

canceled;