theorem :: XPRIMES2:7672

canceled;